projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e30d041) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Tue, 21 Jun 2022 16:57:57 +0000 (17:57 +0100)
committerIlias Tsitsimpis <iliastsi@debian.org>
Tue, 21 Jun 2022 16:57:57 +0000 (17:57 +0100)
commitea0db1afd462bc6aca6802253904be5dbab938b5
treec1a8c21b1f9c3250d10cfdba225af0972157149dtree | snapshot
parente30d04167d69abd8c451e0a0758541af03601504commit | diff
Do not emit a warning if the .haddock file is missing

As it is quite common on Debian installations to install the -dev package
without the -doc package.

Gbp-Pq: Name no-missing-haddock-file-warning
utils/ghc-pkg/Main.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.